Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
221	COGNITION ELSEVIER Cognition W h e n do speakers take into account c o m m o n Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2007-07-24 16:06:44 Semantics Philosophy of language Meaning Philosophical logic Audience design Psycholinguistics Collaborative model Pragmatics
222	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
223	Kripke semantics for modal bilattice logic Achim Jung Umberto Rivieccio School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-26 05:15:29
224	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko\|t Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-01-14 14:32:40
225	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
226	PDF Document Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2014-04-10 03:07:04 Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf
227	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:11 Theoretical computer science Mathematics Software engineering Logic in computer science Models of computation Programming language semantics Lambda calculus Operational semantics Substitution Expression Variable Monad
228	PDF Document Add to Reading List Source URL: sallyhaslanger.weebly.com Language: English - Date: 2015-06-08 09:52:34 Philosophy Academia Semantics Philosophy of science Epistemology Logic Natural kind Ontology Sally Haslanger Meaning Causality Gender
229	<4D6963726F736F667420576F7264202D20D6C9CBCFD3CFD6C9C120D4C7D320C3CBD9D3D3C1D32049> Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2012-01-18 11:24:04 Logic Meaning Philosophy of language Semantics Sense and reference Gottlob Frege Semantic holism Philosophy of logic Truth Philosophy Analytic philosophy Philosophical logic
230	A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-27 05:38:59 Logic Denotational semantics Admissible rule Orbifold Μ operator Mathematical logic Theoretical computer science Symbol

UPDATE